COM2001   Advanced Programming Topics   (20 credits)

Description

This module will be based around Functional Programming (FP) and Abstract Data Types (ADTs). FP leads to simple, elegant programs that are provably correct, expressing problems declaratively and recursively. Topics covered include: values, types, expressions, functions, pattern matching, recursive function design, partial application and higher-order functions. An ADT is a computational data structure, such as a list or tree, that can be defined abstractly in terms of the formal properties of its operations. The course will encourage program design from an abstract viewpoint, as a collection of interacting ADTs, and will also cover complexity analysis for algorithms and proof of correctness.

Reading List